high-temperature gas-cooled reactor (htgr) - Spanisch Englisch Wörterbuch